Foundations of programming

Foundations of Quantum Programming

Progress in the techniques of quantum devices has made people widely believe that large-scale and functional quantum computers will be eventually built. By then, super-powered quantum computer will solve many problems affecting economic and social life that cannot be addressed by classical computing. However, our experiences with classical computing suggest that once quantum computers become av...

Foundations of Functional Programming

ions are compiled to the command, which will push a closure onto the Stack. The closure will include the current Environment and will hold as a list of commands, from compilation: Applications are compiled to the command at compile time. Under the interpreted SECD machine, this work occurred at run time: We could add further instructions, say for conditionals. Let be replaced by or , depending ...

Foundations for Bidirectional Programming

The Foundations of Conceptual Programming

Conceptual Programming is a term meant to convey a similar idea to that of Logic Programming, but at a higher level of representation. Programming with concepts, as presented here, has all the advantages that many knowledge representation schemes have in dealing with declarative knowledge i.e. explicitness, naturalness, expressibility, and transparency. It also gives procedural knowledge these ...

Domain-theoretic foundations of functional programming